EXTRA_DIST = get_impl_str.sh git_hash.sh
